(0 14 2 15 7)(1 13 11 5 3)(4 9 8)(6 12 10)
ALLOWS (11/8)-SEQUENCE
1: (0 1 7)
(0)(1 14 2 15 7 13 11 5 3)(4 9 8)(6 12 10)
2: (7 13 15)
(0)(1 14 2 15 11 5 3)(4 9 8)(6 12 10)(7)(13)
3: (5 14 11)
(0)(1 14 3)(2 15 11)(4 9 8)(5)(6 12 10)(7)(13)
4: (6 12 10)
(0)(1 14 3)(2 15 11)(4 9 8)(5)(6)(7)(10)(12)(13)